From Partial to Possibilistic Logic
نویسنده
چکیده
Based on our earlier work on partial logics and extended logic programs [Wag91, Wag94, HJW96], and on the possibilistic logic of [DLP94], we de ne a compositional possibilistic rst-order logic with two kinds of negation.
منابع مشابه
Possibilistic reasoning with partially ordered beliefs
This paper presents the extension of results on reasoning with totally ordered belief bases to the partially ordered case. The idea is to reason from logical bases equipped with a partial order expressing relative certainty and to construct a partially ordered deductive closure. The difficult point lies in the fact that equivalent definitions in the totally ordered case are no longer equivalent...
متن کاملReasoning with partially ordered information in a possibilistic logic framework
In many applications, the reliability relation associated with available information is only partially defined, while most of existing uncertainty frameworks deal with totally ordered pieces of knowledge. Partial pre-orders offer more flexibility than total pre-orders to represent incomplete knowledge. Possibilistic logic, which is an extension of classical logic, deals with totally ordered inf...
متن کاملMultiple Semi-revision in Possibilistic Logic
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a new formula with a set of formulae as the new information, which results in a merging operator called a partial meet merging operator. The problem for the partial meet merging operator is that it needs additional informa...
متن کاملPossibilistic Reasoning - A Mini-Survey and Uniform Semantics
In this paper, we survey some quantitative and qualitative approaches to uncertainty management based on possibility theory and present a logical framework to integrate them. The semantics of the logic is based on the Dempster’s rule of conditioning for possibility theory. It is then shown that classical modal logic, conditional logic, possibilistic logic, quantitative modal logic and qualitati...
متن کاملPossibilistic and Extended Logic Programs
Based on our earlier work on partial logics and extended logic programs Wag91, Wag94, HJW96], and on the possibilistic logic of DLP94], we deene a compositional possibilistic rst-order logic with two kinds of negation as the logical basis of semi-possibilistic and possibilis-tic logic programs. We show that in the same way as the minimal model semantics of relational databases can be reened to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998